Process calculus - PDFSEARCH.IO - Document Search Engine

Process calculus
Results: 249

#	Item
41	Internal draft. Available online from http://www.cl.cam.ac.uk/∼ljw1004 Symmetric action calculi Philippa Gardner and Lucian J. Wischik Add to Reading List Source URL: www.wischik.com Language: English - Date: 2001-08-20 15:53:16 Theoretical computer science Computability theory Logic in computer science Lambda calculus Process calculi Combinatory logic -calculus Substitution Group action Binary relation Equivalence relation FO
42	Proceedings of the Fourth Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software Add to Reading List Source URL: places11.di.fc.ul.pt Language: English - Date: 2011-02-13 18:15:54 Process calculi Concurrent computing Distributed computing Actor model -calculus Calculus Bunched logic Parallel computing Resource fork Thread Resource management Concurrency
43	Composition for Component-Based Modeling? Gregor G¨ossler1 and Joseph Sifakis2 1 1 Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:37 Object-oriented programming Distributed computing Process calculus SIGNAL Modeling language Component-based software engineering System
44	Using stochastic process algebra to model biochemical pathways Using stochastic process algebra to model biochemical pathways Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-03-02 10:57:28 PEPA Process calculi Jane Hillston Process calculus Stochastic Scientific modelling Economic model Algebra over a field TAPAs model checker
45	Ambient References: Addressing Objects in Mobile Networks Tom Van Cutsem ∗ Elisa Gonzalez Jessie Dedecker ∗ Stijn Mostinckx † Add to Reading List Source URL: soft.vub.ac.be Language: English - Date: 2007-01-09 07:10:57 Distributed computing architecture Process calculi Inter-process communication Ambient calculus Ambient intelligence Message passing Actor model Short Message Service Distributed object Multi-factor authentication
46	Replication, Recursion and Concurrency J. Garrett Morris University of Edinburgh Sessions and linearity Add to Reading List Source URL: groups.inf.ed.ac.uk Language: English - Date: 2014-01-09 09:03:28 Computability theory Theoretical computer science Recursion Process calculi -calculus Type Linear logic Linearity Primitive recursive function operator
47	Introduction Motivation Syntax and semantics Add to Reading List Source URL: www.cs.stir.ac.uk Language: English - Date: 2010-06-17 03:44:24 Markov models Graph theory Markov processes Stochastic process Stochastic PEPA Markov chain Scientific modelling Process calculus
48	Logical Methods in Computer Science Vol. 10(2:, pp. 1–51 www.lmcs-online.org Submitted Published Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Differential geometry Process calculi Theoretical computer science -calculus Sheaf XC
49	Linear Forwarders∗ Philippa Gardner Cosimo Laneve Lucian Wischik Add to Reading List Source URL: www.wischik.com Language: English - Date: 2003-07-07 12:00:28 Theoretical computer science Functions and mappings Process calculi -calculus Substitution Lambda calculus Limit of a function
50	Analysis of a Quantum Error Correcting Code using Quantum Process Calculus Timothy A. S. Davidson1 Simon J. Gay2 Rajagopal Nagarajan1 Ittoop Vergheese Puthoor2,3 Department of Computer Science, University of Warwick1 Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-11-04 05:01:44